Charged particle environment of Titan during the T9 flyby

The ion measurements of the Cassini Plasma Spectrometer are presented which were acquired on 26 December 2005, during the T9 flyby at Titan. The plasma flow and magnetic field directions in the distant plasma environment of the moon were distinctly different from the other flybys. The near-Titan environment, dominated by ions of Titan origin, had a split signature, each with different ion composition; the first region was dominated by dense, slow, and cold ions in the 16-19 and 28-40 amu mass range, the second region contained only ions with mass 1 and 2, much less dense and less slow. Magnetospheric ions penetrate marginally into region 1, whereas the region-2 ion population is mixed. A detailed analysis has led us to conclude that the first event was due to the crossing of the mantle of Titan, whereas the second one very likely was a wake crossing. The split indicates the non-convexity of the ion-dominated volume around Titan. Both ion distributions are analysed in detail

TWAM: A Certifying Abstract Machine for Logic Programs

Type-preserving (or typed) compilation uses typing derivations to certify correctness properties of compilation. We have designed and implemented a type-preserving compiler for a simply-typed dialect of Prolog we call T-Prolog. The crux of our approach is a new certifying abstract machine which we call the Typed Warren Abstract Machine (TWAM). The TWAM has a dependent type system strong enough to specify the semantics of a logic program in the logical framework LF. We present a soundness metatheorem which constitutes a partial correctness guarantee: well-typed programs implement the logic program specified by their type. This metatheorem justifies our design and implementation of a certifying compiler from T-Prolog to TWAM.Comment: 41 pages, under submission to ACM Transactions on Computational Logi

Self-reported pregnancy exposures and placental DNA methylation in the MARBLES prospective autism sibling study.

Human placenta is a fetal-derived tissue that offers a unique sample of epigenetic and environmental exposures present in utero. In the MARBLES prospective pregnancy study of high-risk younger siblings of children with autism spectrum disorder (ASD), pregnancy and environmental factors collected by maternal interviews were examined as predictors of placental DNA methylation, including partially methylated domains (PMDs), an embryonic feature of the placental methylome. DNA methylation data from MethylC-seq analysis of 47 placentas of children clinically diagnosed at 3 years with ASD or typical development using standardized assessments were examined in relation to: child's gestational age, birth-weight, and diagnosis; maternal pre-pregnancy body mass index, smoking, education, parity, height, prenatal vitamin and folate intake; home ownership; pesticides professionally applied to lawns or gardens or inside homes, pet flea/tick pouches, collars, or soaps/shampoos used in the 3 months prior to or during pregnancy. Sequencing run, order, and coverage, and child race and sex were considered as potential confounders. Akaike information criterion was used to select the most parsimonious among candidate models. Final prediction models used sandwich estimators to produce homoscadisticity-robust estimates of the 95% confidence interval (CI) and P-values controlled the false discovery rate at 5%. The strongest, most robust associations were between pesticides professionally applied outside the home and higher average methylation over PMDs [0.45 (95% CI 0.17, 0.72), P = 0.03] and a reduced proportion of the genome in PMDs [-0.42 (95% CI - 0.67 to -0.17), P = 0.03]. Pesticide exposures could alter placental DNA methylation more than other factors

Preliminary interpretation of Titan plasma interaction as observed by the Cassini Plasma Spectrometer: Comparisons with Voyager 1

The Cassini Plasma Spectrometer (CAPS) instrument observed the plasma environment at Titan during the Cassini orbiter's TA encounter on October 26, 2004. Titan was in Saturn's magnetosphere during the Voyager 1 flyby and also during the TA encounter. CAPS measurements from this encounter are compared with measurements made by the Voyager 1 Plasma Science Instrument (PLS). The comparisons focus on the composition and nature of ambient and pickup ions. They lead to: A) the major ion components of Saturn's magnetosphere in the vicinity of Titan are H+, H-2(+) and O+/CH4+ ions; B) finite gyroradius effects are apparent in ambient O+ ions as the result of their absorption by Titan's extended atmosphere; C) the principal pickup ions are composed of H+, H-2(+), N+/CH2+, CH4+, and N-2(+); D) the pickup ions are in narrow energy ranges; and E) there is clear evidence of the slowing down of background ions due to pickup ion mass loading

Correlation Between BATSE Hard X-ray Spectral and Timing Properties of Cygnus X-1

We have analyzed approximately 1100 days of Cygnus X-1 hard X-ray data obtained with BATSE to study its rapid variability. We find for the first time correlations between the slope of the spectrum and the hard X-ray intensity, and between the spectral slope and the amplitude of the rapid variations of the hard X-ray flux. We compare our results with expectations from current theories of accretion onto black holes.Comment: 17 pages, 3 Postscript figures, uses aasms4.sty. Accepted for publication in Astrophysical Journal Letter

A Calculus of Bounded Capacities

Resource control has attracted increasing interest in foundational research on distributed systems. This paper focuses on space control and develops an analysis of space usage in the context of an ambient-like calculus with bounded capacities and weighed processes, where migration and activation require space. A type system complements the dynamics of the calculus by providing static guarantees that the intended capacity bounds are preserved throughout the computation

Ionospheric electrons in Titan's tail: Plasma structure during the cassini T9 encounter

We present results from the CAPS electron spectrometer obtained during the downstream flyby of Titan on 26 December 2005, which occurred during a period of enhanced plasma pressure inside the magnetosphere. The electron data show an unusual split signature with two principal intervals of interest outside the nominal corotation wake. Interval 1 shows direct evidence for ionospheric plasma escape at several RT in Titan's tail. Interval 2 shows a complex plasma structure, a mix between plasma of ionospheric and magnetospheric origin. We suggest a mechanism for plasma escape based on ambipolar electric fields set up by suprathermal ionospheric photoelectrons

A standardisation proof for algebraic pattern calculi

This work gives some insights and results on standardisation for call-by-name pattern calculi. More precisely, we define standard reductions for a pattern calculus with constructor-based data terms and patterns. This notion is based on reduction steps that are needed to match an argument with respect to a given pattern. We prove the Standardisation Theorem by using the technique developed by Takahashi and Crary for lambda-calculus. The proof is based on the fact that any development can be specified as a sequence of head steps followed by internal reductions, i.e. reductions in which no head steps are involved.Comment: In Proceedings HOR 2010, arXiv:1102.346

Global MHD simulations of Saturn's magnetosphere at the time of Cassini approach

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/94588/1/grl19801.pd